alpha :: F a -> G a